423 research outputs found

    Analysis in weak systems

    Get PDF
    The authors survey and comment their work on weak analysis. They describe the basic set-up of analysis in a feasible second-order theory and consider the impact of adding to it various forms of weak Konig's lemma. A brief discussion of the Baire categoricity theorem follows. It is then considered a strengthening of feasibility obtained (fundamentally) by the addition of a counting axiom and showed how it is possible to develop Riemann integration in the stronger system. The paper finishes with three questions in weak analysis.info:eu-repo/semantics/publishedVersio

    Metal hydride-based hydrogen production and storage system for stationary applications powered by renewable sources

    Get PDF
    ABSTRACT: In this work, a compact and low-cost electrochemical laboratory prototype for the storage and production of hydrogen, based on metallic hydrides, with high reversibility in the charge/discharge process is demonstrated, using electricity either from the grid or by direct coupling to renewable energies as power source. The reactor is a 316 L stainless steel vessel with a capacity up to 15 bar internal pressure. It includes working electrodes of alloy LaNi4.3Co0.4Al0.3 and counter-electrodes of Ni foam in an electrolyte solution of 35% KOH. The reactor uses unicellular/multicellular configurations, so that the overall capacity of the system can be extended by increasing the number of working electrodes, resulting in a highly modular system. Results show excellent linearity, reversibility, and stability under cycling at room temperature and pressure, demonstrated either when powered by the grid or by off-grid renewable energy. Furthermore, criteria were established for the quantification of the state of full charge and full discharge. The system was integrated with a custom electronic system, developed inhouse for monitoring and control the reactor and to optimize the performance and energy efficiency of the hydrogen storage and discharge processes.info:eu-repo/semantics/publishedVersio

    Author placement in Computer Science: a study based on the careers of ACM Fellows

    Get PDF
    The order in which authors of a scientific paper place their names on the byline follows in many research fields some implicit rules. In most fields, the first author is considered to be the one who contributed most to the intellectual effort described in the paper. Additionally, the last author is normally the most senior researcher and in many situations the contribution to the paper is more indirect. In this manuscript, we intend to analyse the evolution of the positions of computer science (CS) researchers on the bylines of scientific papers throughout their careers. In particular, this bibliometic study considers the Association for Computing Machinery (ACM) Fellows (the most prestigious members) that present a long and rich publication record. Our hypothesis is that young CS authors tend to have their names placed in the first positions of the bylines, while senior CS researchers are often considered as last authors. Several statistical analyses were conducted by using biblometric data collected from ACM Fellows and other CS researchers. Overall, the obtained results do confirm our initial hypothesis.This work has been supported by FCT—Fundação para a Ciência e Tecnologia within the R&D Units Project Scope: UIDB/00319/2020. We would also like to thank the anonymous reviewers for the insightful comments that helped improving the contents of the manuscript

    Metal hydride-based hydrogen production and storage system for stationary applications powered by renewable sources

    Get PDF
    ABSTRACT: The development of systems for production and storage of hydrogen as an energy vector for various applications, has gained much relevance in recent years as it is considered critical in the increase of renewable energies in the energy mix. Presently, most part of the hydrogen production using renewable energy sources is based on electrolysis systems that use water to obtain green hydrogen, that can be stored and later used or converted to electrical energy using fuel cells. New laboratory reactor systems for the production and storage of hydrogen using metal hydrides have been demonstrated in recent years, making these kind of reversible electrochemical systems alternative future options for the production and storage of hydrogen.N/

    Edgar : a platform for hardware/software codesign

    Get PDF
    Codesign is a unified methodology to develop complex systems with hardware and software components. EDgAR, a platform for hardware/software codesign is described, which is intended to prototype complex digital systems. It employs programmable logic devices (MACHs and FPGAs) and a transputer-based parallel architecture. This platform and its associated methodology reduce the systems production cost, decreasing the time for the design and the test of the prototypes. The EDgAR supporting tools are introduced, which were conceived to specify systems at an high-level of abstraction, with a standard language and to allow a high degree of automation on the synthesis process. This platform was used to emulate an integrated circuit for image processing purposes

    Histology-agnostic drugs: a paradigm shift: a narrative review

    Get PDF
    © The Author(s) 2022. Open Access This article is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License, which permits any non-commercial use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by-nc/4.0/.Cancer diagnosis and therapeutics have been traditionally based on pathologic classification at the organ of origin. The availability of an unprecedented amount of clinical and biologic data provides a unique window of opportunity for the development of new drugs. What was once treated as a homogeneous disease with a one-size-fits-all approach was shown to be a rather heterogeneous condition, with multiple targetable mutations that can vary during the course of the disease. Clinical trial designs have had to adapt to the exponential growth of targetable mechanisms and new agents, with ensuing challenges that are closer to those experienced with rare diseases and orphan medicines. To face these problems, precision/enrichment and other novel trial designs have been developed, and the concept of histology-agnostic targeted therapeutic agents has emerged. Patients are selected for a specific agent based on specific genomic or molecular alterations, with the same compound used to potentially treat a multiplicity of cancers, granted that the actionable driver alteration is present. There are currently approved drugs for such indications, but this approach has raised issues on multiple levels. This review aims to address the challenges of this new concept and provide insights into possible solutions and frameworks on how to tackle them.info:eu-repo/semantics/publishedVersio

    Associations between emotion regulation, feeding practices, and preschoolers’ food consumption

    Get PDF
    : Previous research identified emotion dysregulation, non-responsive feeding practices, and unhealthy food consumption as risk factors for childhood obesity. However, little is known about the relationships between these factors. This study examined associations between children’s emotion regulation, parental feeding practices, and children’s food consumption. The sample consisted of 163 mothers of children aged 3–5 years. Mothers completed the Emotion Regulation Checklist, the Child Feeding Questionnaire, and the Child Health Section from the Parent Interview of the Early Childhood Longitudinal Study-B to assess model variables. Results showed that healthy food consumption was associated with higher emotion regulation abilities, higher monitoring, and lower pressure to eat. For unhealthy food consumption, the associations were in opposite directions. Higher emotion regulation abilities were also associated with higher monitoring, lower pressure to eat, and lower restriction. For lability, the associations were in opposite directions. Regression analyses revealed that children’s lability, pressure to eat, and monitoring were significant predictors of children’s food consumption. These findings suggest that children’s emotion regulation and feeding practices are important determinants of children’s food consumption. Future longitudinal studies that examine bidirectional associations between children’s emotion regulation, parental feeding practices, children’s food consumption, and potential mechanisms accounting for these associations are needed.info:eu-repo/semantics/publishedVersio

    Caregivers’ responses to children’s negative emotions: Associations with preschoolers’ executive functioning

    Get PDF
    There is a lack of knowledge regarding the connection between parental emotional responsiveness and children’s executive functioning (EF). This study aimed to explore the relations between caregivers’ reactions to their children’s distress and children’s EF. Mothers of 136 preschoolers reported their reactions to their children’s negative emotions using the Coping with Children’s Negative Emotions Scale. Children’s EF was assessed through the mothers and teachers’ reports using the Behavioral Inventory of Executive Functioning for Preschool Children. Results showed that the mothers’ perceived use of negative emotional regulation responses (i.e., punitive and minimizing reactions) was associated with lower levels of EF in children, as reported by both mothers and teachers. The association between the mothers’ use of positive emotional regulation responses (i.e., problem-focused, emotion-focused, and expressive encouragement reactions) and children’s EF was not significant. Multiple regression analyses revealed that the mothers’ use of negative emotional regulation responses accounted for significant proportions of variance in EF indexes. These findings suggest that parental socialization of emotion could be important for children’s EF. Specifically, caregivers’ negative emotional regulation responses to children’s distress may serve as a risk factor for poorer EF in children. Efforts to improve children’s EF may be more effective when parental emotional responsiveness to their distress is considered.Fundação para a Ciência e Tecnologia - FCTinfo:eu-repo/semantics/publishedVersio

    Building a model to analyse and compare social policies on ageing

    Get PDF
    Demographic ageing results in issues both for individuals and for organizations, with regards to social, economic and health issues. The challenge for public policies is to create the adequate resources and to adapt devices, in order to facilitate and allow an ageing process with well-being. The WHO’s proposal of Active Ageing has a great potential in guiding ageing policies, in particular local interventions. In this research we aimed to convert the active ageing concept into a practical instrument, built for use by policy-makers, researchers and stakeholders to evaluate and compare different social policies on ageing. We have proceeded to the validation of both the content and the design of the instrument, using the Delphi technique. Through the instrument created, it will be possible to analyse ageing policies from the active ageing point of view, to compare programmes and communities/organizations, to share the best policy practices and identify the least appropriate policy actions as the intervention priorities, adjusting and improving them.O envelhecimento populacional representa desafios para os indivíduos e para as organizações, no que respeita a questões económicas, sociais e de saúde. As políticas públicas procuram criar os recursos adequados e adaptar os dispositivos existentes, de forma que facilite e possibilitar às pessoas um processo de envelhecimento com bem-estar. O paradigma de envelhecimento ativo, tal como é proposto pela OMS, tem grandes potencialidades na orientação das políticas dirigidas ao envelhecimento, em particular das intervenções locais. Nesta pesquisa propusemo-nos converter o conceito de envelhecimento ativo num instrumento de ordem prática, construído para ser aplicado por formuladores de políticas e investigadores, para avaliar e comparar diferentes políticas sociais relacionadas com o envelhecimento. Procedemos a uma validação de conteúdo e de construção do instrumento através da técnica Delphi. Através do instrumento criado, será possível analisar as políticas de acordo com a perspectiva de envelhecimento ativo, comparar programas e comunidades ou organizações, partilhar as boas práticas e identificar as ações políticas menos apropriadas, considerando-as prioridades de intervenção, adequando-as e melhorando-as.info:eu-repo/semantics/publishedVersio

    Identifying priorities for aging policies in two Portuguese communities

    Get PDF
    The aging population has an impact on health, social and economic issues in regards to individuals, communities and organizations. The challenge for local policies in response to aging is to create sufficient resources to meet the population’s needs, wishes and rights as people age. Active aging constitutes one of the guiding perspectives on policies. Taking into account the local governance perspective, the instrument MALPA was created in order to convert the active aging paradigm into a practical approach, as a technique to evaluate and analyze local aging policies. In this research, the MALPA instrument was applied in two Portuguese communities (Coruche and Oeiras). The objective was to identify the intervention priorities of aging policies in both communities, determining if the instrument can facilitate the development of proposals for the improvement of local aging policies. It was possible to evaluate the communities and programs, identifying the least appropriate policy actions regarding the intervention priorities. The results allowed us to identify 10 priorities about: collaborative governance, involvement of the elderly in the policy making process, lifelong learning, economic hardship, policies for all ages, isolated vulnerable and fragile groups, intergenerational contacts, safety in all policies, labor opportunities and conditions and transport network improvement.info:eu-repo/semantics/acceptedVersio
    corecore